Linear type system - PDFSEARCH.IO - Document Search Engine

Linear type system
Results: 27

#	Item
21	Low-Level Linear Memory Management Chris Hawblitzel Edward Wei Heng Huang Add to Reading List Source URL: chrishawblitzel.net Language: English - Date: 2009-01-18 14:58:05 Computer programming Pointer Type safety Type system Struct C++ classes Dynamical system Array data type C Data types Software engineering Computing
22	F07 – Linear Equations (LAPACK) F07PBF NAG Library Routine Document F07PBF (DSPSVX) Add to Reading List Source URL: nag.com Language: English - Date: 2013-01-25 10:45:51 Numerical linear algebra Matrices LAPACK Condition number Array programming Matrix Invertible matrix Array data type System of linear equations Algebra Linear algebra Mathematics
23	Development of monoclonal antibodies able to distinguish between wild-type and mutant FANCC proteins by a systematic epitope scanning approach Stacie Stone1, Paul Yoshihara2, Mike Heinrich3, Martin Rooimans4, Yu Zhi5, Qu Add to Reading List Source URL: www.openwetware.org Language: English - Date: 2006-06-21 20:28:07 Antibody Epitope Polyclonal antibodies Antigen Monoclonal antibodies Immune system Biology Linear epitope
24	Package ‘GeoXp’ July 2, 2014 Type Package Title Interactive exploratory spatial data analysis Encoding latin1 Version 1.6.2 Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-07-02 09:52:11 Spatial data analysis Linear algebra Analytic geometry Cartesian coordinate system Dimension Spatial analysis Euclidean vector Geostatistics Point process Statistics Mathematics Algebra
25	Package ‘geostatsp’ October 2, 2014 Type Package Title Geostatistics using SpatialPoints and rasters Version[removed]Date[removed] Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2014-10-02 13:12:59 Econometrics Regression analysis Kriging Geographic information system GDAL Linear regression Normal distribution Where Statistics Software Geostatistics
26	Concurrent Programming in Linear Type Theory Frank Pfenning Carnegie Mellon University Joint work with Luís Caires, Bernardo Toninho, Jorge Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-01-10 09:05:23 Abstraction Axiology Logic Mathematical logic Type system Type theory Mathematics Science
27	Wandering through linear types, capabilities, and regions Franc¸ois Pottier May 24th, 2007 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-11-21 03:24:28 Logic Linear type system Linear Uniqueness type Cyclone Type system Type theory Programming language theory Mathematics

UPDATE